Embedded Systems

Advanced Topics in Embedded Systems

Dozent Oliver Bring­mann
Head
Oliver Bring­mann

Vor­lesung Can­celed
Übungsleitung Adrian Frischknecht
Alumni
Adrian Frischknecht

Alexan­der Jung
Re­searcher
Alexan­der Jung

Alexan­der von Bernuth
Alumni
Alexan­der von Bernuth

Christoph Gerum
Re­searcher
Christoph Gerum

Christoph Groß
Re­searcher
Christoph Groß

Dustin Pe­ter­son
Alumni
Dustin Pe­ter­son

Evge­nia Rusak
Re­searcher
Evge­nia Rusak

Georg Volk
Alumni
Georg Volk

Jo Laufen­berg
Re­searcher
Jo Laufen­berg

Joscha Benz
Alumni
Joscha Benz

Kon­stan­tin Lübeck
Re­searcher
Kon­stan­tin Lübeck

Michael Kuhn
Re­searcher
Michael Kuhn

Philipp Schlicker
Alumni
Philipp Schlicker

Ste­fan Müller
Alumni
Ste­fan Müller

Yan­nick Boekle
Alumni
Yan­nick Boekle

Um­fang 6 LP
Ein­trag im Kurskat­a­log Alma
Lern­plat­tform Ilias

The lec­ture “Ad­vanced Top­ics in Em­bed­ded Sys­tems” can­not take place as planned in sum­mer se­mes­ter 2020.
The course is ex­pected to take place again in sum­mer se­mes­ter 2021.

De­scrip­tion

This lec­ture dis­cusses cur­rent top­ics and trends in em­bed­ded sys­tem re­search with spe­cial focus on de­sign, analy­sis and ver­i­fi­ca­tion of em­bed­ded sys­tems and Sys­tems-on-Chip (SoCs). The lec­ture starts with an in­tro­duc­tion into em­bed­ded sys­tems ar­chi­tec­tures and elec­tronic sys­tem level de­sign. Then, the lat­est de­vel­op­ments in analy­sis of non-func­tional prop­er­ties like tim­ing, power dis­si­pa­tion, and en­ergy con­sump­tion are dis­cussed. The lec­tures on ver­i­fi­ca­tion ad­dresses cy­ber-phys­i­cal sys­tems, safety ver­i­fi­ca­tion, and ro­bust­ness op­ti­miza­tion of ma­chine-learn­ing based em­bed­ded sys­tems. The lec­ture fi­nally cov­ers ad­vanced hard­ware ar­chi­tec­tures for low-power im­ple­men­ta­tion of deep learn­ing ap­proaches in hard­ware. Be­tween the lec­tures, prac­ti­cal ex­er­cises in form of pro­gram­ming as­sign­ments will take place. The lec­tur­ers will pre­sent the rel­e­vant ba­sics as well as re­cent re­search re­sults in each topic.

The lec­ture is struc­tured as fol­lows:

  • In­tro­duc­tion into em­bed­ded sys­tems
  • Cy­ber-phys­i­cal sys­tems, safety ver­i­fi­ca­tion, and ro­bust­ness op­ti­miza­tion
  • Soft­ware tim­ing analy­ses in em­bed­ded sys­tems
  • Em­bed­ded hard­ware ar­chi­tec­tures and low-power deep learn­ing ar­chi­tec­tures

Par­tic­i­pants will ac­quire in-depth knowl­edge to dif­fer­ent as­pects in em­bed­ded sys­tems as well as the nec­es­sary skills to de­sign, analyse, and ver­ify em­bed­ded sys­tems under safety con­straints. They will gain hands-on ex­pe­ri­ence in em­bed­ded sys­tem de­sign in order to avoid com­mon pit­falls. The stu­dents will get a deeper prac­ti­cal un­der­stand­ing by work­ing on topic-spe­cific pro­gram­ming as­sign­ments.

No­tice: Pre­req­ui­sites are the lec­tures “En­twurf und Syn­these Einge­bet­teter Sys­teme” or “Mod­el­lierung und Analyse Einge­bet­teter Sys­teme”.